退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:一些sahlqvist完整性导致了代数逻辑
Fredrik Dahlqvist; Dirk Pattinson;
机译:平坦煤代数定点逻辑的完备性
机译:分布子结构逻辑的通过正典的代数完整性
机译:Coalgebraic定点逻辑的完整性
机译:萨格拉夫逻辑的一些萨赫维斯特完整性结果
机译:基于大规模并行和流水线忆阻状态IMPLY逻辑的可重构体系结构的完整设计方法论
机译:相关逻辑中的萨尔奎斯特公式
机译:关于代数逻辑的一些sahlqvist完备性结果
机译:完全用于余代数规范中的等式推导的微积分;软件工程部
机译:基于Hooji代数原理的多值非逻辑两级连接方法,基于Hooji代数原理的多值非逻辑,偶数逻辑两级连接方法,基于Hooji代数的多值非逻辑两步连接方法代数,基于Hooji代数原理的多值偶数和非逻辑两阶段连接方法,基于Hooji代数原理的完全值电路的多值完全性和多值缓冲电路
机译:基于Hooji代数原理的多值非逻辑两阶段连接方法,基于Hooji代数原理的多值非逻辑,偶数逻辑两阶段连接方法,基于Hooji代数的多值双逻辑两步连接方法代数,基于Hooji代数原理的多值偶数逻辑和非逻辑两阶段连接方法,基于Hooji代数原理的多值逻辑补全电路,多值缓冲回路以及用于输入的折线
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。